Rigid frame maps and Booleanization
نویسندگان
چکیده
منابع مشابه
Static and dynamic nonlinear analysis of steel frame with semi-rigid connections
One of the important issues in the study of steel frames is to find a suitable formulation for semi-rigid connections. In this paper, the explicit stiffness matrix for a two-dimensional beam-column element having end-flexibilities is derived. The effects of the lateral uniformly distributed load on the deflection are considered. Both tensile and compressive axial loads are also taken into accou...
متن کاملBooleanization of uniform frames
Booleanization of frames or uniform frames, which is not functorial under the basic choice of morphisms, becomes functorial in the categories with weakly open homomorphisms or weakly open uniform homomorphisms. Then, the construction becomes a reflection. In the uniform case, moreover, it also has a left adjoint. In connection with this, certain dual equivalences concerning uniform spaces and u...
متن کاملSchrodinger Maps and Their Associated Frame Systems
In this paper we establish the equivalence of solutions between Schrödinger maps into S2 or H2 and their associated gauge invariant Schrödinger equations. We also establish the existence of global weak solutions into H2 in two space dimensions. We extend these ideas for maps into compact hermitian symmetric manifolds with trivial first cohomology.
متن کاملUniversal Booleanization of Constraint Models
While the efficiency and scalability of modern SAT technology offers an intriguing alternative approach to constraint solving via translation to SAT, previous work has mostly focused on the translation of specific types of constraints, such as pseudo Boolean constraints, finite integer linear constraints, and constraints given as explicit listings of allowed tuples. By contrast, we present a tr...
متن کامل$\sigma$-locales and Booleanization in Formal Topology
A σ-frame is a poset with countable joins and finite meets in which binary meets distribute over countable joins. Aim of this paper is to present σ-frames, actually σ-locales, as a branch of Formal Topology, that is, intuitionistic and predicative pointfree topology. We show that every σframe L can be presented as the lattice of Lindelöf elements (those whose covers admit countable subcovers) o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Topology and its Applications
سال: 2015
ISSN: 0166-8641
DOI: 10.1016/j.topol.2015.08.021